Activity sequence modes for Web services and verifications

Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing.In this paper,the concept of behavior specifications based on activity sequence is proposed to express one kind of behavioral requirements for composite Web services.Its basic element is activity sequence.The method to express such behavioral requirements by behavioral modes is presented.Five behavioral modes used in this method are adopted.Through mapping modes to Labeled Transition Systems(LTSs),these modes are encoded with exact operation semantics.Then,the sufficient and necessary conditions as well as the checking algorithm for satisfiability of behavioral modes are given.Finally,an example analysis is presented.The result indicates that the behavioral requirements based on activity sequence are more suitable for the case of composite Web service than those based on activity or scenario.The behavioral modes expressions are concise and the satisfiability checking is effective by the given algorithm.     

TiO2/AC复合催化剂的制备及光催化性能研究

以钛酸丁酯为前驱体,三乙醇胺为螯合荆,通过溶胶-凝胶法制备了TiO<,2>溶胶前驱体.然后,结合胶体浸渍-烧结法制得TiO<,2>/AC复合催化剂.主要讨论了制备过程中水,活性炭的预处理方式,以及不同烧结方式对复合催化剂光催化性能的影响.实验表明钛酸丁酯和水的质量比为17:1时制得的TiO<,2>前驱体与经HNO<,3...     

峨眉地幔热柱活动与贵州西部二叠系煤的形成环境研究

晚二叠世乐平期,最为强烈、规模最大的一次峨眉地幔热柱强烈活动在贵州西部形成西北高、东南低的古地理格局.沉积相带由早二叠世的近东西向变为晚二叠世北东向排布.沉积相带由西向东,由陆相渐变为海陆交替相,最后变为海相环境.在贵州西北部的威宁一带形成陆相沉积环境.遵义至安顺一线以西的黔西和黔西南地区,属于海陆交替的陆地边缘相区,...     

肝素-紫杉醇抗癌药物系统的合成及其对癌细胞生长抑制的研究

为解决紫杉醇作为抗癌药物水溶性差毒性大的缺点,采用天然生物大分子肝素为载体,利用其具有良好的生物相容性、生物降解性以及良好的水溶性特征,选用三种带有不同a-取代基的氨基酸作为连接臂,设计合成了一类新型肝素-氨基酸-紫杉醇药物输送系统,目标产物用1H NMR进行了结构表征.体外水解动力学测试结果表明该系统水溶性好,MTT法测试结果表明所有化合对MCF-7(乳腺癌细胞)细胞毒活性优于紫杉醇.     

吡唑并嘧啶衍生物的合成及其生物活性研究

设计合成了新型吡唑并嘧啶衍生物3,6-二烷硫基-1-苯基-吡唑并[3,4-d]嘧啶-4-酮的6个衍生物,其中4个获得大于70%的产率.应用1H NMR和IR对其结构进行了分析与确证.对所合成的产物进行了初步的除草活性试验,在质量分数为1×10-4时,合成产物对稗草的茎、油菜的根茎都显出较好的抑制作用.     

质酸金的合成及性质研究

为获得透明质酸新的功能,对其进行结构修饰.以氯金酸、透明质酸钠为原料合成质酸金.通过元素分析、冷场扫描电子显微镜、傅里叶变换红外光谱和核磁共振分析对其结构进行了表征,对肺癌细胞A549、肝癌细胞BEL7402增殖影响进行了研究.结果表明,在高剂量下对肝癌细胞BEL7402的增殖有明显的抑制活性,对肺癌细胞A549的增殖有边缘抑制活性.     

电性距离矢量预测有机污染物的生物富集因子

以电性距离矢量Mt表征165种非离子性有机物(NOC)的分子结构.利用多元回归方法建立了122种NOC的生物富集因子(lg BCF)与32个Mt的数学模型,其相关系数R为0.976.经逐步回归建立最佳四变量(M15,M17,M36,M91)模型,其R为0.960;并以Jackknife法检验,其LOO交互检验系数(q2)为0.915.这4个Mt参数揭示了影响NOC生物富集因子的主要因素,结果表明该模型具有良好的估算能力与鲁棒性.以111个NOC为训练集的生物富集模型作用于11个NOC的检验集,显示出良好的预测能力.     

污水处理厂出水维甲酸X受体干扰效应研究

应用重组维甲酸X受体(RXR)基因酵母筛选南方某污水处理厂进水、不同工艺出水的维甲酸干扰活性;结合大鼠肝均浆(S9)体外代谢方法,检测样品间接维甲酸干扰活性.结果表明:进水、出水样品均不能诱导RXR介导酶活性,但在高富集倍数下,样品与空白对照相比显著抑制9-顺维甲酸诱导酶活性,表现出维甲酸拮抗效应;在添加S9体外代谢活化后,所有样品均检出类维甲酸干扰活性,部分样品还检测出抗维甲酸活性,表明城市污水样品中存在大量具有类/抗维甲酸干扰活性的化合物.研究结果证实,现行处理工艺对类/抗维甲酸干扰物有一定的去除效果;重组基因酵母结合S9体外代谢活化体系可用于水环境样品类/抗维甲酸干扰效应的快速筛选.     

环境因素对铜离子毒性的影响

铜是城市污水中常见的危害性重金属之一.在驯化好的活性污泥系统中,通过改变环境因素(MISS、COD负荷、pH及DO),考察了在不同环境条件下铜离子对活性污泥的毒性作用,以期为重金属废水处理研究提供参考依据.结果表明:增大MLSS和COD负荷将显著提高微生物脱氢酶活性,有利于微生物抵抗铜离子毒性;在弱酸性与弱碱性条件pH...     

体外APC/C活性体系的建立及其影响因素的研究

为获得具有细胞周期后期促进复合物(APC/C)活性的细胞裂解液并建立APC/C体外活性检测体系,以其底物Cyc-lin B及Securin的降解为检测指标,分别从细胞阻滞于有丝分裂期的时间,UBCH10(APC/C的E2酶)的浓度以及裂解液浓度等几个方面研究了各种处理因素对APC/C活性的影响,并且用体外翻译底物验证了其活性及相关结论。此项工作为进一步探索APC/C相关分子事件奠定了基础。